Issue998.agda:9,12-15
a != Issue998.a of type A
when checking that the expression d a has type D Issue998.a
